home *** CD-ROM | disk | FTP | other *** search
/ Personal Computer World 2009 February / PCWFEB09.iso / Software / Linux / Kubuntu 8.10 / kubuntu-8.10-desktop-i386.iso / casper / filesystem.squashfs / usr / share / app-install / desktop / coqide.desktop < prev    next >
INI File  |  2008-10-24  |  336b  |  15 lines
  1. [Desktop Entry]
  2. X-AppInstall-Package=coqide
  3. X-AppInstall-Popcon=45
  4. X-AppInstall-Section=universe
  5.  
  6. Encoding=UTF-8
  7. Name=CoqIDE Proof Assistant
  8. Comment=Graphical interface for the Coq proof assistant
  9. Exec=coqide
  10. Type=Application
  11. Categories=Development;Science;Math;IDE;GTK;
  12. Terminal=false
  13. Icon=coq
  14. X-Ubuntu-Gettext-Domain=app-install-data
  15.